Actions with Duration and Constraints: the Ramification Problem in Temporal Databases

نویسندگان

  • Nikos Papadakis
  • Dimitris Plexousakis
چکیده

The ramification problem is a hard and ever present problem in systems exhibiting a dynamic behavior. The area of temporal databases in particular is still lacking satisfactory solutions to the ramification problem. In this paper, we address the ramification problem based on causal relationships that take time into account. We study the problem for both instantaneous actions and actions with duration. The proposed solution advances previous work by considering actions with effects occurring in any of the possible future situations resulting from an action’s execution.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Addressing the Ramification Problem in a Temporal Context: The Case of Concurrent Actions

The ramification problem is a hard and ever present problem in systems exhibiting a dynamic behavior. The area of temporal databases in particular is still lacking satisfactory solutions to the ramification problem. In this paper, we address the problem for the concurrent execution of both instantaneous actions and actions with duration. The proposed solution advances previous work by consideri...

متن کامل

The Ramification Problem in Temporal Databases

The ramification problem is an infamous, hard and ever present problems in databases and, more generally, in systems exhibiting a dynamic behavior. The ramification problem refers to determining the indirect effects of actions. A solution to this problem in database systems permits reasoning about the dynamics of databases and allows proving consistency properties. The ramification problem beco...

متن کامل

A Solution to the Ramification Problem Expressed in Temporal Description Logics

The ramification problem in Artificial Intelligence is concerned with the indirect effects of an action. It has been shown in previous work that the ramification problem can be solved with the use of integrity constraints and actions representation. In this paper we begin with a quick review of the existing Description Logics Languages, and then we describe a Temporal Extension of Description L...

متن کامل

The ramification problem in temporal databases: Concurrent execution

In this paper, we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper, we provide a solution to the ramification problem based on an extension of the situation calculu...

متن کامل

The ramification problem in temporal databases: Changing beliefs about the past

In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper we provide a solution to the ramification problem based on an extension of the situation calculus ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002